<?php
/*
    Footer

    This document is released under Creative Commons Attribution-ShareAlike
    4.0 International license.

    See <https://creativecommons.org/licenses/by-sa/4.0/legalcode>
*/
?>
	<div>
		<p>
			<?php echo gettext("This source code for this page is available from a "); ?> <a href="<?php echo $lbWebsiteGitwebAddress; ?>"><?php echo gettext("git repository"); ?></a>.		
		</p>
	</div>
